🎭 Staged Interpreters - abnv · Scour

Reduction for Structured Concurrent Programs

arxiv.org·22h

🔀Concurrency Models

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·16h·

Discuss: Hacker News

🔄Incremental Compilation

Template Interpreters

zackoverflow.dev·2d

📜Bytecode Interpreters

AI-assisted coding: what worked for me and what didn’t (after 6 months)

dev.to·20h·

Discuss: DEV

🚀Code Motion

From LLMs to Agents in Programming: The Impact of Providing an LLM with a Compiler

arxiv.org·22h

🛠programming language development

Making a Language

thunderseethe.dev·5h

🔬programming language theory

On the way to step functions: the two worlds

blog.julik.nl·2d

🔄CPS Transforms

Designing a Programming Language for the Desert

futhark-lang.org·11h·

Discuss: Hacker News

🔄Bootstrapping

Conversation: LLMs and the what/how loop

martinfowler.com·13h

🔀Control Structures

OpenCode vs Claude Code

builder.io·8h

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

How to Perform Large Code Refactors in Cursor

towardsdatascience.com·1d

🚚Code Migration

Rust async combinators for elegant and secure concurrency

kerkour.com·21h·

Discuss: r/rust

🪆Embedded DSLs

Python Code Optimization Tips

denvaar.dev·1d

⚡Interpreter Optimization

jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry

github.com·3d

🧸Toy Compilers

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·18h·

Discuss: r/golang

📊Call Graphs

Using Haskell in Production

agentultra.com·1d

GNU C Language Manual

gnu.org·8h

🪄C Metaprogramming

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·1h

🎮Language Ergonomics

Loading more...